use truth table to verify de morgan's law